III.—THE LOGICAL CALCULUS. (III.)

A Logical Process Calculus

This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...

III Faults : Logical Deviations

Hybrid Logical Analyses of the Ambient Calculus

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated in a natural way. We show that hybrid logic is very well suited to express the semantic structure of ...

A logical calculus for polynomial-time realizability

A logical calculus, not unlike Gentzen's sequent calculus for intuitionist logic, is described which is sound for polynomial-time realizability as deened by Crossley and Remmel. The sequent calculus admits cut elimination, thus giving a decision procedure for the propositional fragment. 0 Introduction In 4], a restricted notion of realizability is introduced, a special case of which is polynomi...

A Logical Calculus of Meaning and Synonymy

In his development of formal semantics for natural language Montague [1970a]– Montague [1973], Richard Montague modeled the meaning (Frege’s sense) of a term A by its Carnap intension CI(A), the function which assigns to each state a, specifying a “possibleworld”, “time” and“context of use”, the denotationden(A)(a) of A in that state. Now this is surely not right: among other things, it makes “...